منابع مشابه
Logical grounds
The view that some facts obtain in virtue of other facts is both natural and plausible. Causal examples come to mind: if an event e caused an event f , then it sounds correct to say that the fact that f occurred obtains in virtue of the fact that e occurred—or, to put it in a less cumbersome way, that f occurred because e occurred. But many noncausal cases also come to mind, as illustrated, for...
متن کاملHigher-order logical inference with compositional semantics
We present a higher-order inference system based on a formal compositional semantics and the wide-coverage CCG parser. We develop an improved method to bridge between the parser and semantic composition. The system is evaluated on the FraCaS test suite. In contrast to the widely held view that higher-order logic is unsuitable for efficient logical inferences, the results show that a system base...
متن کاملLogical Reasoning for Higher-Order Functions with Local State
We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically and exported outside their scope, may store higherorder functions and may be used to construct complex mutable data structures. This primitive is captured logically using a predicate asserting reachability of a reference name fro...
متن کاملComparing Higher-Order Encodings in Logical Frameworks and Tile Logic
In recent years, logical frameworks and tile logic have been separately proposed by our research groups, respectively in Udine and in Pisa, as suitable metalanguages with higher-order features for encoding and studying nominal calculi. This paper discusses the main features of the two approaches, tracing differences and analogies on the basis of two case studies: late π-calculus and lazy simply...
متن کاملFirst-Order Logical Filtering
Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations. In general, it is intractable in dynamic domains that include many objects and relationships. Still, potential applications for such domains (e.g., semantic web, autonomous agents, and partial-knowledge games) encourage research beyond immed...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Analysis
سال: 2020
ISSN: 0003-2638,1467-8284
DOI: 10.1093/analys/anz085